Chalmers University of Technology - PDFSEARCH.IO - Document Search Engine

Chalmers University of Technology
Results: 255

#	Item
41	Overlays with preferences: Approximation algorithms for matching with preference lists Giorgos Georgiadis Department of Computer Science and Engineering Chalmers University of Technology SG¨oteborg, Sweden Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-05-18 09:50:44 Graph theory Mathematics Combinatorial optimization Computational complexity theory Routing algorithms Search algorithms Operations research Matching A* search algorithm Flow network
42	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP
43	Essentials of fluctuation dominated kinetics: why bother? Zoran Konkoli, Chalmers University of Technology All chemical reactions are intrinsically stochastic and realistic in vivo descriptions of chemical reaction netwo Add to Reading List Source URL: www.hieratic.eu Language: English Mathematical and theoretical biology Chemical kinetics Differential equation Statistics Reactiondiffusion system Chemical reaction
44	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-05 03:54:39 Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant
45	Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers. Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2016-07-08 05:39:59 Algebraic structures Semigroup theory Functional programming Type theory Automated theorem proving Monoid Monad Type class Semiring IP Haskell Free monoid
46	GO:SMART Göteborgs Stad \| Trafikverket \| Volvo Buss AB \| Volvo Technology AB The Project Urban households are choosing mobility over car ownership through reliable and Add to Reading List Source URL: 19343a27nxyv1ifure2nq0aw.wpengine.netdna-cdn.com Language: English - Date: 2015-06-16 11:21:11 Hisingen Gothenburg Chalmers University of Technology Lindholmen Science Park Volvo Business Units Volvo Buses Volvo
47	Innovative Transport Solutions ‐ City Showcase Gothenburg Final Programme Add to Reading List Source URL: 19343a27nxyv1ifure2nq0aw.wpengine.netdna-cdn.com Language: English - Date: 2015-06-16 10:50:01 Hisingen Sustainable urban planning Chalmers University of Technology University of Gothenburg Gothenburg Lindholmen Science Park International Association of Public Transport Eurocities Sustainable transport Volvo Lindholmen Vallentuna ERTICO
48	The UNITECH Programme ... a network of professional possibilities Add to Reading List Source URL: www.unitech-international.org Language: English - Date: 2015-10-24 03:00:07 Grandes coles Delft University of Technology Institut national des sciences appliques de Lyon Polytechnic University of Milan Loughborough University ETH Zurich RWTH Aachen University Institute of technology Chalmers University of Technology
49	Data-driven Coreference Resolution for Swedish Fredrik Axelsson∗ , Birger Rydback∗ , Fredrik Johansson∗ , Jonatan Bengtsson† , Svetoslav Marinov† ∗ Chalmers University of Technology, † Findwise AB Gothenbur Add to Reading List Source URL: www2.lingfil.uu.se Language: English - Date: 2014-10-16 02:35:53 Computational linguistics Natural language processing Named-entity recognition Coreference Perceptron
50	Romina Spalazzese’s Curriculum Vitae Senior LecturerComputer Science Department Faculty of Technology and Society Malm¨ o University Add to Reading List Source URL: www.rominaspalazzese.com Language: English - Date: 2016-02-16 05:48:21 Chalmers University of Technology Software engineer Ambient intelligence

UPDATE